Industrial-strength formal methods in practice

Författare
(Michael G. Hinchey and Jonathan P. Bowen (eds).)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer c1999 Storbritannien, London xvi, 400 sidor. ill. 24 cm.